A PHP-based interpretor