var a04388 = [ [ "type", "a04388.html#abd0309e670521fd198e00642694ecbf3", null ], [ "value_t", "a04388.html#a6be3a72ded639888507073b59747880e", null ] ];
var a04388 = [ [ "type", "a04388.html#abd0309e670521fd198e00642694ecbf3", null ], [ "value_t", "a04388.html#a6be3a72ded639888507073b59747880e", null ] ];