The termination problem from hell... :-)