Buffer overflow in debug printing