A module that provides a two-phase lock with a counter - View it on GitHub