Convert PHP to Zephir