LockOptions defines three convenient “constant” instances. But they’re mutable objects, and so one piece of code could accidentally call a setter on one of them, and break unrelated code. This is really bad.