Type Alias P423

pub type P423 = PInt<U423>;