
  TYPE
    fmt$pde_assignment_counter = 0 .. 0ffffff(16);

