
  { Sense switch definition

  TYPE
    pmt$sense_switches = set OF 1 .. 8;

