(* Generated by SimpleM backend *)
MODULE TCyc;
TYPE
  A = A;
VAR
  v : A;
BEGIN
  v := v
END TCyc.