Non-terminating computation