MODULE PBadUndecl;
BEGIN
  Foo(1)
END PBadUndecl.