toplevel, bindings: start of a mark-and-sweep collector