Example 5.5 & garbage collection updates