(a.) Producing coral; coralliferous.