# This shell script emits a C file. -*- C -*- # It does some substitutions. fragment <