mrg/progs/BytecodeCounter
