******************************************************************************/
module two {
- type record of integer Ints;
+ type record of integer Ints with { encode "JSON" };
type set of universal charstring Strings;
//type record of integer Rec;
-} with { encode "JSON" }
+}