SYS_pwrite
case SYS_pwrite: i = 4; break;
case SYS_pwrite: off_t_arg = 3; break;
[SYS_pwrite] = PLEDGE_STDIO,
[SYS_pwrite] = { Pfd, Pptr, Pbigsize, Poff_t, END64 },