+check_status_maybe_lose "Callbacks after SAVE-LISP-AND-DIE" $? \
+ 42 "(callback function ran)"
+
+# test suppression of banner in executable cores
+run_sbcl <<EOF
+ (save-lisp-and-die "$tmpcore" :executable t)
+EOF
+chmod u+x "$tmpcore"
+./"$tmpcore" > "$tmpoutput" --no-userinit --no-sysinit --noprint <<EOF
+ (exit :code 71)
+EOF
+status=$?
+if [ $status != 71 ]; then
+ echo "failure in banner suppression: $status"
+ exit 1
+elif [ -s "$tmpoutput" ]; then
+ echo "failure in banner suppression: nonempty output:"
+ echo ---
+ cat "$tmpoutput"
+ echo ---
+ exit 1
+elif [ -f "$tmpoutput" ]; then
+ echo "/Executable suppressed banner, good."