dictionary-ref comes with two values
delete needless include
remove unused config flags
vm_tear_off should happen in cont. saving, not in restoring
lset/lerf can access to torn-off regions because of call/cc