> It should not allocate, but apparently it still does

Really? How do you know? And where does it do so?