0016_neg_rand.c:4.2-5.0: [ x in [-15;-10] ]
