0015_neg.c:4.2-5.0: [ x in [-9;-9] ]
