Destructive operations

[Timothy.Freeman@theory.cs.cmu.edu]

I have been using a lisp compiler which gets an access violation at
the last statement of the following scenario:

   (defun foo () '(1 2))
   (compile 'foo)
   ;; Save a core image to disk
   ;; Run the saved core image
   (setf (cdr (foo)) 3)
   ;; The above statement bombs

This behavior seems reasonable, and I understand why it is happening.
My questions are:

  If you omit saving and restoring the core image, does this behavior
      fit the specification? 
  Is the specification too vague about this?

My opinion is that it should be permissable for the code to bomb in
cases like this.

Tim Freeman