MODULE Main;
(* importer cannot see "FROM IMPORTS" *)

IMPORT A;

BEGIN
  RAISE A.Alerted;
END Main.