add synaptic sugar for user mutex