const restore_rt = syscall_bits.restore_rt;