% 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;