
  TYPE
    jmt$ssn_serial_number = string (jmc$ssn_serial_number_size);

 CONST
    jmc$ssn_serial_number_size = 4;
