Re: Crash during access_keymap

[Richard M. Stallman]

    It seems to be possible to have a check_pure_storage function which
    would traverse pure storage and validate that it only refers to
    other pure object -- and also that pure storage only contains
    valid objects (e.g. I don't think storing a buffer or window object
    in pure storage makes any sense).

If we conclude that this problem is real, we could solve it
much more easily than that.  When copying an object to pure space,
any time it points to an object that isn't copied, we could verify
that that object will be protected in some other way.  If not, we could
staticpro the pure slot.