pub type P562949953421312 = PInt<U562949953421312>;