+#ifndef _HPPABSD_H
+#define _HPPABSD_H
+
#include <fcntl.h>
#include <errno.h>
#include <stdio.h>
#include <string.h>
#include <sys/file.h>
-void *malloc();
-void free();
+extern PTR EXFUN(malloc,(unsigned));
+extern void EXFUN(free, (PTR));
#define HOST_HPPABSD
typedef int int32_type;
typedef unsigned int uint32_type;
#include "fopen-same.h"
+
+#endif /* _HPPABSD_H */