LEC4. Part Two: Lazy allocation