Honeywell PML
Ack State

WHEN ack =>
  CASE s(i).state IS
    WHEN idle =>
    WHEN request =>
    WHEN ack =>
    WHEN busy =>
      current_driver := i;
      current_driver := busy;
  END CASE;