1 2 3 4 5 6
~ 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. relink-main-input-buffer-to-stdin