/*
 * malloc which never returns NULL, because it gives a fatal error instead.
 */

extern void *emalloc(unsigned size);