pub type P576460752303423488 = PInt<U576460752303423488>;
struct P576460752303423488 { /* private fields */ }