Sophie
var a00335 = [ [ "ConfigHolderPtr_T", "a00335.html#aa9d724b05c95d086bf99e8056259b63e", null ] ];