
  TYPE
    jmt$output_routing_banner = STRING (jmc$output_routing_banner_size);

  CONST
    jmc$output_routing_banner_size = 31;
