The M*.c files are instrumented with (option macros).
The *.c files are instrumented without; they typically don't have
instrumentation because the instrumentation points are in macros.
