ADBMOUSE_MS_A3
mouse_kind = ADBMOUSE_MS_A3;
} else if (mouse_kind == ADBMOUSE_MS_A3) {
case ADBMOUSE_MS_A3: