pub type P35184372088832 = PInt<U35184372088832>;