type
  R = record
    field: ^R
  end
end.