: Thelepus cincinnatus.