The EMPTY built-in function initializes the area variable to empty, freeing all allocations it might have. This is the initial state of an area variable in which no allocations have yet been made. The AVAILABLEAREA built-in function returns the size of the largest allocation that can be made in the area.