void eprint(char *msg);