#lang plai/gc2/mutator
(allocator-setup "null-gc.rkt" 20) ; heap size

(define c1 (cons 2 (cons 3 empty)))
(define c2 (cons 1 c1))

(test/location=? (rest c2) c1) ; point to same location

(test/value=? (rest c1) '(3)) ; produce same value