let is_whitespace =        function ' ' | '\t' | '\r' | '\n' -> true | _ -> false