let print_strings id x =
  Printf.printf "# { \n";
  Printf.printf "#   '%s'\n" x;
  Printf.printf "# } < L(%s)\n\n" id