A conservative garbage collector