#include <cctype>

extern "C" int isspace(int ch) {
  return
    ch ==  ' ' || ch == '\f' || ch == '\n' ||
    ch == '\r' || ch == '\t' || ch == '\v';
}