pub type P18014398509481984 = PInt<U18014398509481984>;