Type Alias P412

pub type P412 = PInt<U412>;