~   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