
  TYPE
    jmt$profile_set = set of 0 .. 255;

