A simple implementation of Raymond's mutual exclusion algorithm