There is an alarm that aborts the piece of code running in the eval block, to avoid having to wait for a program that may take a long time to run. However, that potentially long running program isn't killed - it just keeps on running, till it either finds an answer, or gets killed manually (guess what happened ;-)).

Abigail