-
-static info_t
-*push(info_t *info, char *key, enum info_type type, infoval value){
+/* the function formerly known as push was renamed info_push because
+ * it is now used outside the scope of this file */
+info_t
+*info_push(info_t *info, char *key, enum info_type type, infoval value){