MODULE CycA;
(* Cycle test: A imports B. *)
IMPORT CycB;
BEGIN
END CycA.