void die(char *msg);