0018_sub_rand.c:4.2-5.0: [ x in [8;14] ]
