#include <unistd.h>#include <stdlib.h>#include "syscall.h" int fork(void){	return syscall(VXSYSFORK, 0, 0, 0, 0, 0);}