File r38/patches.tst from the latest check-in

% This file tests some of the patches included in the patches.red file.
% If the latter file has been correctly installed, none of these should
% give an error.

end;