Type Alias P443

pub type P443 = PInt<U443>;