Type Alias P533

pub type P533 = PInt<U533>;