pub type P144115188075855871 = PInt<U144115188075855871>;
pub struct P144115188075855871 { /* private fields */ }