reduce-historical/psl-1983/3-1/tests/stubs7.red

% STUBS7.RED

% none yet

End;