const syscall4 = syscall_bits.syscall4;