let rec print_string_list (al: string list) = match al with
      []    ->  ""
    | x::xs ->  x ^ "\t" ^ (print_string_list xs)