#include <unistd.h>#include "syscall.h" int pipe(int fd[2]){	return syscall(VXSYSPIPE, (int)fd, 0, 0, 0, 0);}