A hello world world Python file