extlib_hash_table_pushX__STUB 4719 src/extlib.c   static SCM_DEFINE_SUBR(extlib_hash_table_pushX__STUB, 3, 0, SCM_OBJ(&extlib_hash_table_pushX__NAME), extlib_hash_table_pushX, NULL, NULL);
extlib_hash_table_pushX__STUB 5996 src/extlib.c     SCM_DEFINE(module, "hash-table-push!", SCM_OBJ(&extlib_hash_table_pushX__STUB));