Distichodus_antonii   (Antoni's distichodus):