<' struct constrain_gen_ex9 { // Define a list payload : list of bytes; // Soft constraint the size of list keep soft payload.size < 64K; // Constraint first byte = 0 keep payload[0] == 0; // Example for Item in list magic_byte: uint; keep magic_byte == 100; keep magic_byte in payload; // Example for One List to Another List payload2 : list of bytes; keep payload2 == payload; }; '>