In what I have written, I overlooked that PTC already includes that symbols must be garbage-collected (without them denoting locations).
It is basically the rule 5 in Figure 7 of Will Clinger's PTC paper. This shows that we mustn't meddle with Scheme's core semantics before we are certain that we have fully grasped them. This wasn't the case during the discussion of issue #105 you linked.
