435a436
> #if defined(SIMPLELOCK_DEBUG) || defined(INVARIANTS)
436a438
> #endif
472a475
> #if defined(SIMPLELOCK_DEBUG) || defined(INVARIANTS)
473a477
> #endif