non-terminating computation