Dear Sven,
The behavior I expect is always
output "Variable x1 is not defined"
The problem with spoil()
is after running it x1 is visible
from inside any user-specified
function, e.g.