.c file for php-extension