0022_mul.c:5.2-6.0: [ x in {0} ]
