MODULE TCyc;
TYPE A = A;
VAR v : A;
BEGIN v := v
END TCyc.