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