libgccffi interface for PHP, based on 7.4's FFI and FFIMe - View it on GitHub