(PHP 7 >= 7.4.0, PHP 8)
FFI::free — Libera una estructura de datos no gestionada
Libera manualmente una estructura de datos no gestionada creada previamente.
ptr
El gestor del puntero no gestionado de una estructura de datos C.
No devuelve ningún valor.