I do agree in this case actually, but is an allocation really a side effect?