#include "libc/sysv/macros.internal.h"
.scall sys_userfaultfd,0xfffffffffffff143,282,4095,globl