1.150.4 Semaphore: mutual exclusion

critical: aBlock

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