@item
Some platforms always print a message to stderr, even if a SIGABRT handler
uses longjmp to resume execution at a safe point:
@item
Some platforms always print a message to stderr, even if a SIGABRT handler
uses longjmp to resume execution at a safe point: