void safe_printf(const char *format, ...);