Port and load the PHP 5.4 built-ins