DEFINITION WTS; (* portable *)

 IMPORT Files;

 VAR 
  R: Files.Rider;
 PROCEDURE Convert;

END WTS.