protected override void GcFreedSeen(int time, Context ctx, long pos) { current_type_data [ctx.Type] -= ctx.Size; }