Vocabulary
libc

Inputs
aliena c-ptr


Outputs
None

Word description
Deallocates a block of memory allocated by an external C library.

Definition