String functions

The following functions can be used to manipulate STRING Objects. As long as the STRING is not modified by the function, a char* pointer can also be passed to the function when it points to a valid null-terminated char array with a length of at least 3 characters plus the trailing 0.