File psl-1983/tests/stubs7.red artifact 6b98bac22d part of check-in ed4c581dbb

% STUBS7.RED

% none yet

End;