MODULE test1; IMPORT demo; END test1.