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