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