Have you experienced any mangled messages without this mutex? I'm not sure if `puts` is atomic or not, but I'd assume it is unless proven otherwise.