Allocation - getting a cell from some pool of available cells
Deallocation - putting a cell back into the pool
The lifetime of a variable is the time during which it is bound to a particular memory cell.
Begins when it is bound to a specific cell.
Ends when it is unbound from that cell.