Re: [Openflipper] garbage_collection bug?