~ This file should be included in executables that use boot-source, as the
~ last thing in the boot-source. It has the responsibility of switching from
~ processing boot-source into the regular interaction mode.
process-command-line-arguments
relink-main-input-buffer-to-stdin