let
convert_to_int_list (s:string) =
List
.map (int_of_string) (
Str
.split nonnumregexp s)