0.pre7.32:

0.pre7.32:
	merged Alexey Dejneka's WRITE-STRING/WRITE-LINE fix
	rewrote WRITE-STRING to use a simplified, unconditional
		version of the old HIGH-SECURITY code
	WRITE-STRING* is always used with four arguments, so the
		&OPTIONALness of its arguments is unnecessary
		generality, so get rid of it. Then, since its
		calling convention has changed, rename it to
		%WRITE-STRING.
	WRITE-LINE can be made a lot simpler by reusing WRITE-STRING,
		and then WRITE-LINE* isn't needed at all.