/* async-signal-safe wrapper for printf */
void safe_printf(const char *format, ...);