let space_re = Str.regexp "[ \t]+"