CASE state_1:
   IF      event IS mode_pressed THEN state := state_2
   ELSE IF event IS up_pressed   THEN INCREMENT a
   ELSE IF event IS down_pressed THEN DECREMENT a