An experiment to make a loop independent from its termination condition