Symbol: adjust_total_allocated