-extern alloc_pool create_alloc_pool PARAMS ((const char *, size_t, size_t));
-extern void free_alloc_pool PARAMS ((alloc_pool));
-extern void *pool_alloc PARAMS ((alloc_pool));
-extern void pool_free PARAMS ((alloc_pool, void *));
+extern alloc_pool create_alloc_pool (const char *, size_t, size_t);
+extern void free_alloc_pool (alloc_pool);
+extern void *pool_alloc (alloc_pool);
+extern void pool_free (alloc_pool, void *);
+extern void dump_alloc_pool_statistics (void);