module RoundTripModule { @final struct DataType { sequence payload; }; };