Type Alias P800

pub type P800 = PInt<U800>;