It's NSimSun. It seems to be a simplified Chinese font. On closer inspection it's definitely different from Sun Gallant Demi, but looks like it because it's tall, serifed and monospaced.

Those were good boxes! In related nostagia, the current Windows terminal app comes with a font that mimics the old Sun console (but not, as far as I know, with Forth).