Symbol: gen_check