0024_mul_rand.c:5.2-6.0: [ x in [0;0] ]
