Symbol: set_extra_nomod