Symbol: gen_mask_c