Type Alias P522

pub type P522 = PInt<U522>;