File psl-1983/tests/mini-char-io.red from the latest check-in
% MINI-CHAR-IO.RED Procedure ChannelWriteChar(chn,x); PutC x; Procedure WriteChar Ch; IndependentWriteChar(Out!*,Ch); End;
% MINI-CHAR-IO.RED Procedure ChannelWriteChar(chn,x); PutC x; Procedure WriteChar Ch; IndependentWriteChar(Out!*,Ch); End;