--- orig/shared/command.h
+++ mod/shared/command.h
@@ -75,6 +75,7 @@
 
 extern void addident(const char *name, ident *id);
 extern void intret(int v);
+extern void intset(char *name, int v);
 extern void floatret(float v);
 extern void result(const char *s);