MODULE TImportProc;
// An imported procedure used as a value (assigned to a procedure-typed
// variable and called indirectly) must resolve to its code address.
// Exit 7.
IMPORT Pvi;
TYPE F = PROCEDURE(VAR a : INTEGER; v : INTEGER);
VAR acc, ExitCode : INTEGER; f : F;
BEGIN
  acc := 0;
  f := Pvi.Add;
  f(acc, 3);
  f(acc, 4);
  ExitCode := acc                       (* 7 *)
END TImportProc.