MODULE testsckt ;

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

IMPORT sckt ;


BEGIN
END testsckt.