Symbol: do_promversion