* generators/CompilerGenerator_extra.tex.nw: