In the new Codec, isn't it better to prefix strings with "\1", "\2" etc instead of "s", "p" etc, to ensure no interference with resolving e.g. q->p->r?
Also, should we make the module dumper a Standalone Tool (i.e. NOT making it standalone but part of Pike), so that one can do "pike -x dump my_module.pmod"? Another idea is that "pike -x dump" redumps all module directories.