Checks if the given wide character is a whitespace character, i.e. either space (0x20), form feed (0x0c),
or new line (0x0a).

The following code demonstrates how to use the `is_whitespace` function:

    if (is_whitespace(' ')) {
        echo 'Space character.';
    }
    else {
        echo 'Not a whitespace