Mouse_Button

button := Mouse_Button.RIGHT;
assert(button != .LEFT);