0407_loop_limit.c:9.2-10.0: [ x in [0;+oo] ]
