A PHP VM implementation in PHP