void errexit(char *format,...);