Index: generic/aolstub.c
===================================================================
diff -u -rcaba76f5ac2943f5a3dfd33550cb578132f40c80 -r92ab630ebd3c1b907e3d0fdf97cc07914245c028
--- generic/aolstub.c	(.../aolstub.c)	(revision caba76f5ac2943f5a3dfd33550cb578132f40c80)
+++ generic/aolstub.c	(.../aolstub.c)	(revision 92ab630ebd3c1b907e3d0fdf97cc07914245c028)
@@ -168,11 +168,15 @@
  *----------------------------------------------------------------------------
  */
 
+int Ns_ModuleInit(char *hServer, char *hModule) nonnull(1) nonnull(2);
+
 int
-Ns_ModuleInit(char *hServer, char *hModule)
-{
+Ns_ModuleInit(char *hServer, char *hModule) {
   int ret;
-  
+
+  assert(hServer);
+  assert(hModule);
+
   /*Ns_Log(Notice, "+++ ModuleInit","INIT");*/
   ret = Ns_TclInitInterps(hServer, NsNsf_Init, (void*)hModule);