Hi Mark, On Sun, Mar 4, 2012 at 18:34, Mark Shannon <mark at hotpy.org> wrote: > You can't solve the too much time, without solving the halting problem, Not sure what you mean by that. It seems to me that it's particularly easy to do in a roughly portable way, with alarm() for example on all UNIXes. A bientôt, Armin.