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