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