Sophie
var a00197 = [ [ "_GLIBCXX_CINTTYPES", "a00197.html#a313eeb49c956fdd9c6c48ddbcfb7fa54", null ] ];