static uint32_t sys_pipe(uint32_t arg[]) { int *fd_store = (int *)arg[0]; return sysfile_pipe(fd_store); }
static uint32_t __sys_linux_pipe(uint32_t arg[]) { int *fd_store = (int *)arg[0]; return sysfile_pipe(fd_store)?-1:0; }