Eliminate dependence of "Hello World" on `Read`
With the merge of !8869 (closed), a "Hello World" executable now pulls in various machinery to do with Read
(including some rather large Integer
utilities). This regresses code size of very simple programs and yet in principle shouldn't be necessary. I have started investigating why the linker draws these definitions into the final link.