mutex (simple example)