pub type P1000000000000000 = PInt<U1000000000000000>;
struct P1000000000000000 { /* private fields */ }