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