no-counters.ll 544 Bytes