Symbol: id_rec