My simple interpreter for PHP.