* A safer saner malloc, for careless programmers
if ((ptr
= malloc(n
+ sizeof(double))) == NULL
)
fatal("xmalloc: no memory");
*((int *) ptr
) = 12345; /* magic number */
return(ptr
+ sizeof(double));
if (*((int *) p
) != 12345)
fatal("xfree: storage not malloc'ed");
(void) fprintf(stderr
,"%s\n", str
);