Definition of "Gavialis"