catch.c

Signal handlers might be called repeatedly. As such they can't call
non-async-safe functions such as printf. Instead set a sentinel and
check for it.