/* Set a char to '\0' and increase its pointer if the char is different to '}' or ']'.  */
static char * setToNull(char *ch)
/* Set a char to '\0' and increase its pointer if the char is different to '}' or ']'.  */
static char * setToNull(char *ch)
{
    if (!isOneOfThem(*ch, endofblock))
        *ch++ = '\0';
    return ch;
}