*print.c (Fexternal_debugging_output): Use more-conservative overflow fix.