Sophie
var a00239 = [ [ "_GLIBCXX_CSTDIO", "a00239.html#ac9bfca3ebf5b246d91346ee9b1821dd8", null ] ];