let rec trim s = let strlen = String.length s in if strlen = 0 then "" else if is_blank s.[0] then trim (String.sub s 1 (strlen - 1)) else if is_blank s.[strlen - 1] then trim (String.sub s 0 (strlen - 1)) else s