#include "libc/sysv/consts/syscon.internal.h"
.syscon nr,__NR_aio_write,0xfff,0x200013f,0x013f,0xfff,0x195,0xfff