wcet: testing with loops.