Sophie
var a00519 = [ [ "STDAIR_ServicePtr_T", "a00519.html#a288fd7fc4006868dee11013657cc843d", null ] ];