`sys_openat` added to `returns_fd` function