pub type P144115188075855872 = PInt<U144115188075855872>;
struct P144115188075855872 { /* private fields */ }