/****
 *
 * Copyright (c) 1988 by Sun Microsystems, Inc.
 * @(#)palloc.h 22.1 89/08/10 Copyright 1988 Sun Micro
 *
 ****/

#ifndef PALLOC

typedef void *Pool;

extern char *malloc();
extern char *realloc();

#define palloc(pool,size)		malloc(size)
#define prealloc(ptr,size)		realloc((ptr),(size))
#define pfree(ptr)			free(ptr)

#define PALLOC
#endif /* PALLOC */