int runpe(char *name, void *pe, int pe_len, void *stdin, int stdin_len);