Might have been better to write, assuming the OS is unreachable - which is the security contract I assume.