Virtual machine for PHP