GC now works theoritically