MODULE BadCall;
VAR x : INTEGER;
BEGIN x := 1; WriteInt(x)
END BadCall.