Index: generic/nsfInt.h
===================================================================
diff -u -N -r481023b062fc427439a749b930969ee7411dd261 -r15beef03245b7fe339e4bd22cc8ee5da92d789a6
--- generic/nsfInt.h	(.../nsfInt.h)	(revision 481023b062fc427439a749b930969ee7411dd261)
+++ generic/nsfInt.h	(.../nsfInt.h)	(revision 15beef03245b7fe339e4bd22cc8ee5da92d789a6)
@@ -968,7 +968,7 @@
 EXTERN void NsfProfileGetData(Tcl_Interp *interp) nonnull(1);
 
 EXTERN NsfCallStackContent *NsfCallStackGetTopFrame(Tcl_Interp *interp, Tcl_CallFrame **framePtrPtr)
-  nonnull(1) nonnull(2);
+  nonnull(1);
 #endif
 
 /*
Index: generic/nsfStack.c
===================================================================
diff -u -N -r8e0b30355e24d03a7baba8b701cbab2aa7694157 -r15beef03245b7fe339e4bd22cc8ee5da92d789a6
--- generic/nsfStack.c	(.../nsfStack.c)	(revision 8e0b30355e24d03a7baba8b701cbab2aa7694157)
+++ generic/nsfStack.c	(.../nsfStack.c)	(revision 15beef03245b7fe339e4bd22cc8ee5da92d789a6)
@@ -449,7 +449,6 @@
  *
  *----------------------------------------------------------------------
  */
-static NsfCallStackContent *CallStackGetTopFrame(Tcl_Interp *interp, Tcl_CallFrame **framePtrPtr) nonnull(1);
 NSF_INLINE static NsfCallStackContent *CallStackGetTopFrame0(Tcl_Interp *interp) nonnull(1);
 
 static NsfCallStackContent*