void unexec (const char *, const char *);