Symbol: gen_ecode