void syslog(int priority, const char *format, ...) { }