pub type P10000000000000000 = PInt<U10000000000000000>;
struct P10000000000000000 { /* private fields */ }