type
  A = ^A (* @Error Type declaration forms a cycle: A -> A *)
end.