1.139.3 RecursionLock: mutual exclusion

critical: aBlock

Wait for the receiver to be free, execute aBlock and signal the receiver again. Return the result of evaluating aBlock.