0013_add_rand.c:4.2-5.0: [ x in [3;8] ]
