: int ISXDIGIT(char c)

