Type Definition typenum::P17

type P17 = PInt<U17>;