A PHP extension allows you to load external C library