Symbol: TOTAL_INSNS