GIRNELS

Definition of GIRNELS