
  TYPE
    jmt$privilege = (jmc$privileged, jmc$not_privileged,
          jmc$users_default_privilege);
