Type Alias P523

pub type P523 = PInt<U523>;