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