Fairly low-level exploration of semaphores, and how Semaphore(n=1) is different from a Mutex. (WIP status - validating content)