Type Alias P812

pub type P812 = PInt<U812>;