(define a (cons 1 '()))
(define b a)
(set-car! b 10)
ってやってaが(10)になるかどうかって規定されてるんですか?それとも処理系依存?
もしconsセルを値として持ってたらaは変化しないと思うんですけど