Constant WbUserInputEvent_WB_EVENT_QUIT 

pub const WbUserInputEvent_WB_EVENT_QUIT: WbUserInputEvent = -1;