// extern int pipe(int fildes[2]); function \pipe(array &$fds = null) : int { return to_int(pipe); let fildes = calloc(2, psi\SIZEOF_INT); set $fds = to_array(fildes[2]); }