pub type N35184372088832 = NInt<U35184372088832>;