These shouldn't be needed anymore
This should be a working implementation for mutices