var a00233 = [ [ "_GLIBCXX_CSTDIO", "a00233.html#ac9bfca3ebf5b246d91346ee9b1821dd8", null ], [ "gets", "a00233.html#ac6f21a7f71a9871e795ffeb0e21ae463", null ] ];
var a00233 = [ [ "_GLIBCXX_CSTDIO", "a00233.html#ac9bfca3ebf5b246d91346ee9b1821dd8", null ], [ "gets", "a00233.html#ac6f21a7f71a9871e795ffeb0e21ae463", null ] ];