PHP to C test using BinaryPHP