Lecture 10B - Storage Allocation, Garbage Collection and Halting Theorem