let is_whitespace c = try match char_of_int c with | ' ' | '\t' | '\r' | '\n' -> true | _ -> false with _ -> false