;Poznámky
:P je proměnná libovolného pointrového typu, která předtím byla přiřazena procedurou [[GetMem]] nebo jí byla přiřazena nějaká smysluplná hodnota přiřazovacím příkazem.
:Size je výraz, který určuje v bajtech velikost uvolňované dynamické proměnné; musí to být přesně tentýž počet bajtů, který byl předtím pro tuto proměnnou alokován procedurou [[GetMem]].
:[[FreeMem]] zruší proměnnou odkazovanou parametrem P a vrátí její paměťový prostor do [[halda|haldy]]. Jestliže P neukazuje do paměťové oblasti v haldě, dojde k běhové chybě. Po volání [[FreeMem ]] se hodnota P stane nedefinovanou a následné odkazy P^ budou znamenat chybu.
;Omezení