chiark / gitweb /
get rid of debugging for checking OUTER iteration; leave SIGINT handler and fix to...