Type Alias P871

pub type P871 = PInt<U871>;