MODULE testwrapc ;

(* A trivial test to test for the presence of wrapc.  *)

IMPORT wrapc ;


BEGIN
END testwrapc.