> > I have noticed that you write "mostly reliable" followed by the scary note
> > "occasionally computations locks up on mysterious ways"... do you mean
> > dead-locks?
>
> Yes. Computation halts. I'm running on Linux, and I have to
> terminate the computation by sending INT to the process. To get it to
> stop properly, I have to send INT twice.
It was long ago, but I wonder if it's not related; your problem rings a bell, anyway.