Code special for the Sleeping Monitor