leavex
leavex(1, "getnameinfo: %s", gai_strerror(result));
leavex(1, "Need a larger window");
leavex(1, "Game not found, try again");
leavex(1, "connect2");
leavex(0, NULL);
leavex(1, "EOF on stdin");
leavex(1, "No one playing.");
leavex(1, "The game is full. Sorry.");
leavex(1, "Version number mismatch. No go.");
leavex(0, NULL);
leavex(1, "Unable to start driver. Try again.");
leavex(0, NULL);
__dead __printflike(2, 3) void leavex(int, const char *, ...);
leavex(1, "Out of memory");
leavex(1, "%s: Unknown host", explicit_host);
leavex(1, "recvfrom: Unexpected EOF");
leavex(1, "Sorry, I have no hostname.");
leavex(1, "Can't find myself.");
leavex(1, "Out of memory.");