Changes for XREALLOC.C by Andreas Scherer, March 23, 1995.

@x l.22
#include <stdio.h>
extern char *realloc ();


extern void *xmalloc ();
@y
#include <stdio.h>
#include <stdlib.h>

extern void *xmalloc(unsigned);
@z

@x l.29
xrealloc (old_ptr, size)
    void *old_ptr;
    unsigned size;
@y
xrealloc (
    void *old_ptr,
    unsigned size)
@z