debugging amortized