(let ((type a (record (data int) (bptr b)))
      (type b (record (data int) (aptr a))))
  ())