: int ISDIGIT(char c)

