diff --git a/libveriuser/Makefile.in b/libveriuser/Makefile.in
index 3feebb65b..e61482e8e 100644
--- a/libveriuser/Makefile.in
+++ b/libveriuser/Makefile.in
@@ -16,7 +16,7 @@
 #    59 Temple Place - Suite 330
 #    Boston, MA 02111-1307, USA
 #
-#ident "$Id: Makefile.in,v 1.5 2002/05/30 02:06:05 steve Exp $"
+#ident "$Id: Makefile.in,v 1.6 2002/05/30 02:12:17 steve Exp $"
 #
 #
 SHELL = /bin/sh
@@ -45,7 +45,7 @@ LDFLAGS = @LDFLAGS@
 STRIP = @STRIP@
 
 A = a_close.o a_initialize.o a_product_version.o
-O = finish.o io_print.o mc_scan_plusargs.o $A
+O = finish.o io_print.o mc_scan_plusargs.o nump.o $A
 
 all: libveriuser.a
 
diff --git a/libveriuser/nump.c b/libveriuser/nump.c
new file mode 100644
index 000000000..4c5e72d4e
--- /dev/null
+++ b/libveriuser/nump.c
@@ -0,0 +1,48 @@
+/* vi:sw=6
+ * Copyright (c) 2002 Michael Ruff (mruff at chiaro.com)
+ *
+ *    This source code is free software; you can redistribute it
+ *    and/or modify it in source code form under the terms of the GNU
+ *    General Public License as published by the Free Software
+ *    Foundation; either version 2 of the License, or (at your option)
+ *    any later version.
+ *
+ *    This program is distributed in the hope that it will be useful,
+ *    but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ *    GNU General Public License for more details.
+ *
+ *    You should have received a copy of the GNU General Public License
+ *    along with this program; if not, write to the Free Software
+ *    Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
+ */
+#if !defined(WINNT)
+#ident "$Id: nump.c,v 1.1 2002/05/30 02:12:17 steve Exp $"
+#endif
+
+#include  <vpi_user.h>
+#include  <stdio.h>
+
+/*
+ * tf_nump implemented using VPI interface
+ */
+int tf_nump(void)
+{
+      vpiHandle sys_h, sys_i;
+      int cnt;
+      
+      sys_h = vpi_handle(vpiSysTfCall, 0 /* NULL */);
+      sys_i = vpi_iterate(vpiArgument, sys_h);
+
+      /* count number of args */
+      for (cnt = 0; sys_i && vpi_scan(sys_i); cnt++);
+
+      return cnt;
+}
+
+/*
+ * $Log: nump.c,v $
+ * Revision 1.1  2002/05/30 02:12:17  steve
+ *  Add tf_nump from mruff.
+ *
+ */
diff --git a/veriuser.h b/veriuser.h
index 7df5ce4b0..196e5ece3 100644
--- a/veriuser.h
+++ b/veriuser.h
@@ -19,7 +19,7 @@
  *    Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
  */
 #if !defined(WINNT) && !defined(macintosh)
-#ident "$Id: veriuser.h,v 1.5 2002/05/30 02:10:08 steve Exp $"
+#ident "$Id: veriuser.h,v 1.6 2002/05/30 02:12:17 steve Exp $"
 #endif
 
 /*
@@ -57,6 +57,8 @@ extern int tf_dostop(void);
 extern void tf_error(const char*, ...)
       __attribute__((format (printf,1,2)));
 
+extern int tf_nump(void);
+
 extern void tf_warning(const char*, ...)
       __attribute__((format (printf,1,2)));
 
@@ -64,6 +66,9 @@ EXTERN_C_END
 
 /*
  * $Log: veriuser.h,v $
+ * Revision 1.6  2002/05/30 02:12:17  steve
+ *  Add tf_nump from mruff.
+ *
  * Revision 1.5  2002/05/30 02:10:08  steve
  *  Add tf_error and tf_warning from mruff
  *