Type Alias P53

pub type P53 = PInt<U53>;