Horn-PIPE. See HORNPIPE.