Web2c defines its format style using Pascal strings, so there are no separator characters between csnames. Is there a straightforward way of listing all csnames bound in a .fmt file?
In the Web2C implementation of TeX and friends, the programs come with an (apparently undocumented) option
-debug-format that prints out a lot of information contained in the format file, most of which consists of the names of the control sequences (followed by a pipe sign:
Hence, for example:
$ tex -debug-format \\bye This is TeX, Version 3.1415926 (TeX Live 2009) fmtdebug:format magic number = 1462916184 fmtdebug:engine name size = 4 fmtdebug:string pool checksum = 57981441 fmtdebug:mem_bot = 0 fmtdebug:mem_top = 2999999 fmtdebug:string pool size = 29307 fmtdebug:sup strings = 2025 fmtdebug:csnames from 514 to 24525: endlinechar| AA| AE| @M| OE| downbracefill| @m| bigbreak| Im| bordermatrix| Pi| [etc.]
is the list of all control sequences defined in