Symbol: gen_res_set