michael@0: # dummy spot for "crash-handling" test