
  TYPE
    jmt$output_file_position = 0 .. 07fffffff(16);
