malloc is:exact

Allocate a block of memory that is sufficient to hold values of type a. The size of the area allocated is determined by the sizeOf method from the instance of Storable for the appropriate type. The memory may be deallocated using free or finalizerFree when no longer required.

Lifted malloc.

Allocates nBytes bytes of memory. If nBytes is 0 it returns Nothing. If the allocation fails (because the system is out of memory), the program is terminated.