
{ The system supplied name is of the form $MMMM_NNNN_SSS_CCCC }

  TYPE
    jmt$system_supplied_name = string (jmc$system_supplied_name_size);

  CONST
    jmc$system_supplied_name_size = 19,
    jmc$long_ssn_size = 9,
    jmc$short_ssn_size = 5,
    jmc$full_system_supplied_name = '$0000_0000_AAA_0000',
    jmc$long_system_supplied_name = '$AAA_0000',
    jmc$short_system_supplied_name = '$0000',
    jmc$blank_system_supplied_name = '                   ';
