Sophie
var a00233 = [ [ "_GLIBCXX_CSTDDEF", "a00233.html#a6c15547c31e02f806ffedbf66678cdba", null ] ];