let
pa_of_string =
convert_to_int_list