The latter definition is not particularly useful for writing programs that run on hardware with finite memory. End users don't care whether or not the allocati

The latter definition is not particularly useful for writing programs that run on hardware with finite memory. End users don't care whether or not the allocations are reachable when your program uses all the memory in the system and crowds out other programs, slows, and/or crashes.