remove global 'total_allocated', seems to be the same as 'GC_tot_alloc'