#if 0 #include pid_t vfork(void) { return fork(); } /* XOPEN(400,700) */ #endif