INVARIANTS
#ifdef INVARIANTS
#if (defined(_KERNEL) && defined(INVARIANTS))
#if (defined(_KERNEL) && defined(INVARIANTS))
#ifndef INVARIANTS
#ifdef INVARIANTS
#ifdef INVARIANTS