///| #external pub(all) type FFIPtr ///| pub type SizeT = UInt64