A single file python interpreter