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