Then it seems that the solution is to provide a distinct set of C compiler
flags to be used when compiling the runtime, but this might involve changes
to your build infrastructure since some code would have to know which
set of C compiler flags to use.