var a04392 = [ [ "type", "a04392.html#a1e80119f8694d221a63b4c7404800a3d", null ], [ "value_t", "a04392.html#a7f0560abed5ba34a8212b51b0f06404a", null ] ];
var a04392 = [ [ "type", "a04392.html#a1e80119f8694d221a63b4c7404800a3d", null ], [ "value_t", "a04392.html#a7f0560abed5ba34a8212b51b0f06404a", null ] ];