OK, then it makes sense to have the mutex. It may be worth mentioning that `puts` isn't atomic in a comment.