basic mutex actually works