pub type D1231s1230 = D1231<1230>;
#[repr(transparent)]pub struct D1231s1230(pub Int4096);
0: Int4096