pub type P100000000000000000 = PInt<U100000000000000000>;
struct P100000000000000000 { /* private fields */ }