counter2 uses lambda closures
make a readable IR file