type info_txt = Outline.outline
  
val load: Common.filename -> info_txt