
  TYPE
    jmt$jl_restart_file_version = (jmc$jl_rfv_version_0, jmc$jl_rfv_version_1);

