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