(n.) The sea adder, or great pipefish of Europe.