# This shell script emits a C file. -*- C -*- # It does some substitutions. (echo;echo;echo;echo)>e${EMULATION_NAME}.c # there, now line numbers match ;-) fragment <