0017_sub.c:4.2-5.0: [ x in {48} ]
