mouse1_down = (device_flags & MOUSE_FLAG_DOWN) ? 0x01 : 0;
if (device_flags & MOUSE_FLAG_BUTTON2)
mouse2_down = (device_flags & MOUSE_FLAG_DOWN) ? 0x02 : 0;
mouse1_down = (device_flags & MOUSE_FLAG_DOWN) ? 0x01 : 0;
if (device_flags & MOUSE_FLAG_BUTTON2)
mouse2_down = (device_flags & MOUSE_FLAG_DOWN) ? 0x02 : 0;