let
print_int_list (l:int list) =
print_string (convert_int_list_to_string l)