text: var page_reports =
  [
      [ "Suppressing Errors", "page_suppress.html", null ],
      [ "Replaced Routines", "page_replace.html", null ],
      [ "System Library Symbols", "page_syslib_syms.html", null ]
  ];