MODULE Main;

IMPORT Extern;

BEGIN
EVAL Extern.Inside (Extern.inside);
EVAL Extern.Outside (Extern.outside);
END Main.