Issue #65: added debug-only methods to verify cooperation: acquireLock(), releaseLock()