Module that provides a two-phase lock with a counter
