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