0406_loop_limit.c:7.2-8.0: [ x in [0;+oo] ]
