add example code to mutex.s