Symbol: belt_update_ctr