const restore = syscall_bits.restore;