Sophie
var a04247 = [ [ "__underlying_type", "a04247.html#a3d47e8cb30ecf614c4cec5ee930830bd", null ] ];