text: var a00095 =
  [
      [ "atcab_counter", "a00427.html#gabaaaef242649206029e1c10ac6d1fb7d", null ],
      [ "atcab_counter_increment", "a00427.html#ga6e510e056ea16a0a34b405b7ca378f16", null ],
      [ "atcab_counter_read", "a00427.html#gaeee666028a097659af69cc828a6bd68b", null ]
  ];