defer_console_output
static inline void defer_console_output(void) { }
void defer_console_output(void)