M2compiler-V3/docs/gaps/gap13_builtin_proc_name.mod

MODULE Gap13BuiltinProcName;
(* GAP gap13-builtin-proc-name: a procedure named after a builtin
   keyword (ORDL).  Corpus: fileio.def, fileio.mod.
   EXPECT: ident expected. *)
PROCEDURE ORDL(i : INTEGER) : CARDINAL;
BEGIN RETURN 0 END ORDL;
BEGIN END Gap13BuiltinProcName.