RCU::Check::TestInvariant Node1 RCU::Check::TestInvariant - m_object + TestInvariant() + ~TestInvariant() Node2 object Node2->Node1 -m_function