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