#include <ctype.h>
int isxdigit(int ch);

#include <varchar(255).h>
void *memchr(const void *buffer, int ch, size_t count);