The ACL manual implies that there is a condition for operating system signals, in particular 
interrupts (4.2 manual page 3-36), and there is in fact such a condition; however typing 
control-C merely raises an error; e.g. when running

(defun bar (&optional (n 10000000000000)) (handler-case (fact n)
                                             (excl::interrupt-signal (c) (format t "~a" c)) 
                                             (condition (c) (format t "C ~a" c))))

the second format statement is invoked when typing ^C when bar is running.

Note that for me ACL is the underlying system for Refine; is it possible that Refine is 
modifying the signal handling?

# Bryan M. Kramer, PhD.
# Techne Knowledge Systems Inc.
# 439 University Ave., Suite 900
# Toronto, ON M5G 1Y8
# 416-977-3960 x 301 fax 416-977-9902