castFinalPtr (FinalForeign a) = FinalForeign (GHCF.castForeignPtr a)
castFinalPtr (FinalForeign a) = FinalForeign (GHCF.castForeignPtr a)
castFinalPtr (FinalForeign a) = FinalForeign (GHCF.castForeignPtr a)