{"@types:uint32":{"@":{"ns:int32":{"a":[1