
{ DECK: IOT$PP_NUMBER

  TYPE
    iot$pp_number = 0 .. 0ffff(16);
