@0x9ef128e10a8010b8;

struct Nested1
{
}

struct Message
{
    tuple1 @0 : Nested1;
}