Type Definition typenum::P71

type P71 = PInt<U71>;