
  TYPE
    jmt$ssn_counter = string (jmc$ssn_counter_size);

  CONST
    jmc$ssn_counter_size = 4;
