Rename DEBUG variable and turn it off by default
Allow semaphores to be initialized with 0