Function collect 

pub fn collect(roots: &[&Value], env: &Env, heap: &Heap) -> Heap

Retain only the cells reachable from roots and env, returning the resulting heap. The next-address counter is preserved so old addresses continue to detect as dangling rather than colliding with newly-allocated cells.