Port Witty to python.