Symbol: dec_rec2