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