No need for recursive mutex