OUTPUT-FDEFN should be intelligible despite print-level/length cutoffs.
Simplify unquoting COMMA make-load-form in target image.