Symbol: aie2_update_counters