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