@0x9ef128e10a8010b8;

struct Empty
{
}

struct MessageWithEmpty
{
    tuple1 @0 : Empty;
    text @1 : Text;
}