0026_copy.c:7.4-8.2: [ y in {12} ]
