A non-copying garbage collector (from ICFP2011)