Type Alias P538

pub type P538 = PInt<U538>;