Filled in output_substitution to replace identifiers that were defined
with #define