gistfile1.txt

MODULE A;
IMPORT StdLog;

TYPE
	T0* = EXTENSIBLE RECORD END;
	PT* = POINTER TO T0;

VAR
	r* : PT;
	
	PROCEDURE (ob : PT) Some*(), NEW, EXTENSIBLE;
	BEGIN
		StdLog.Int(42);
	END Some;
	
	PROCEDURE Test*(); BEGIN 
		r.Some()
	END Test;

BEGIN
END A.

MODULE B;
IMPORT A, StdLog;

TYPE
	T1* = RECORD (A.T0) END;
	PT* = POINTER TO T1;
VAR
	r : PT;
	
PROCEDURE (ob : PT) Some*();
BEGIN
	StdLog.Int(13)
END Some;

PROCEDURE Test*(); 
BEGIN
	NEW(r);
	A.r := r;
	A.Test();
END Test;
	
END B.

(!) B.Test
Unload B
(!) A.Test
Trap