# This shell script that emits a C file. # It does some substitutions. cat >em_${EMULATION_NAME}.c <