A program that converts Python code to Turing