Toward abstract GC (broken).