Type Definition typenum::P401

type P401 = PInt<U401>;