A PHP interpreter written in Python