
  TYPE
    jmt$output_comment_banner = STRING (jmc$output_comment_banner_size);

  CONST
    jmc$output_comment_banner_size = 31;

