(library (srfi n9 tests)
  (export)
  (import (rnrs base)
          (srfi n78)
          (srfi n9))

  (define-record-type :pare
    (kons x y)
    pare?
    (x kar set-kar!)
    (y kdr))

  (check (pare? (kons 1 2)) => #t)
  (check (pare? (cons 1 2)) => #f)
  (check (kar (kons 1 2))   => 1)
  (check (kdr (kons 1 2))   => 2)
  (check (let ((k (kons 1 2)))
	   (set-kar! k 3)
	   (kar k))
	 => 
	 3)

  (check-report))