#21 documentation of the classfile_writer header.