~   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.

: finish-boot-source
  ~   Once we do the relink, nothing after that point in the boot source will
  ~ be read. Since we do have another operation to do before we actually hand
  ~ over control to "quit", we need to do the relink in a compiled word like
  ~ this.
  relink-main-input-buffer-to-stdin

  ~   It may be helpful, if you're doing anything interesting at the command
  ~ line, to keep this order of operations in mind.
  process-command-line-arguments ;

~   Notionally we could have this word be non-hidden, but there's no reason to
~ ever use it again, so out of a spirit of tidiness...
x' finish-boot-source make-hidden execute