Replacing "#"

It seems like a good idea to me to replace "#" in inlined_C and
builtins with some other character, to avoid clashes with cpp
directives and gcc style asm arguments.

It is presumably easy enough to make that change. Is there any reason
not to do it, and what would be a good replacement character?

Regards,
Mike