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