C-extension for PHP