text: var a00832 =
  [
      [ "err_exit", "a00832.html#a7da97df8ad833cd9bbae484fa4fc4f9a", null ],
      [ "SavePixForCrash", "a00832.html#a372e5d26e8b39261140556e2b7e479d8", null ],
      [ "set_global_loc_code", "a00832.html#ae281080023125653d85cd946e95f626c", null ],
      [ "set_global_subloc_code", "a00832.html#a87d586caeb936d763514af2bbba8cab6", null ],
      [ "set_global_subsubloc_code", "a00832.html#a683cb64eb69da4200257e0468b4347a0", null ],
      [ "signal_exit", "a00832.html#a5bc45d1c7b7602898f2c7edc72cbcd37", null ]
  ];