PIV · 8447koralin/okoralin/o 🍁 G. (Corallina el koralinacoj) de pli ol 30 sp-oj de kalkaj maraj ruĝalgoj loĝantaj ĉe la bordoj de la plej multaj maroj.