Type Alias P577

pub type P577 = PInt<U577>;