to split the output formattings from emit_file() from reading the file

The produced output lib/libvcc/vcc_fixed_token.c is identical
before/after.