v0.2: GC works well (not only at the top level)