GrElems.Empty and EOFInput added