def halts(prog): # # ..... return False def turing(): if halts(turing): while True: pass else: pass turing()