Symbol: gen_assign_defval