int debug_fprintf_c(DEBUG_FILE *stream, __code const char *format, ...);
debug_fprintf_c is equivalent to debug_fprintf with the format string in code memory.