pub type D1232s1220 = D1232<1220>;
#[repr(transparent)]pub struct D1232s1220(pub Int<64>);
0: Int<64>