@FILES
  {"porting"; "Porting old programs";
    @SECTION "Porting old CML programs" {
      @SECTION "Backwards compatibility modules" {}
      @SECTION "Name changes" {}
      @SECTION "Input/output" {}
      @SECTION "Condition variables" {}
      @SECTION "Polling" {}
    }
  }
