diff --git a/util/ceg/defaults/pseudo_vars.c b/util/ceg/defaults/pseudo_vars.c
index 2280dbaaf..19c61796e 100644
--- a/util/ceg/defaults/pseudo_vars.c
+++ b/util/ceg/defaults/pseudo_vars.c
@@ -1 +1,2 @@
-int locals_created = 0, busy = 0;
+int	locals_created = 0, busy = 0;
+int	holno = 0, procno = 0;