__pragma runtime_checks