module 0x42::M { struct S { a: u64, b: T1 } }