Symbol: is_rec_base