GIRNEL

Definition of GIRNEL