int debug_printf_c(__code const char *format, ...);
debug_printf_c is equivalent to debug_printf with the format string in code memory.