Allocates a temporary memory region. The returned memory comes from a shared
pool and will get reused eventually.
*/
-extern void *tmpalloc(unsigned);
+void *tmpalloc(unsigned);
/**
Frees the shared pool used by tmpalloc. It will be recreated if tmpalloc is
called again.
*/
-extern void tmpfree();
+void tmpfree();
#endif