extern char *malloc_highend();
extern char *PMalloc();