PROCEDURE Foo() RAISES { EndOfFile } =
  ...
  RAISE EndOfFile;
  ...