M2compiler-V3/docs/gaps/gap13_builtin_proc_name.mod

MODULE Gap13BuiltinProcName;
(* V3 bug: `ORDL` is a predeclared identifier, not a reserved word, so
   `PROCEDURE ORDL ...` is legal Modula-2.  V3 wrongly tokenises the
   builtins as keywords and rejects it.  Class: v3-deviation (V3 is
   stricter than the standard).
   Corpus: fileio.def, fileio.mod.
   V3: ident expected. *)
PROCEDURE ORDL(i : INTEGER) : CARDINAL;
BEGIN RETURN 0 END ORDL;
BEGIN END Gap13BuiltinProcName.