For the record: this allocates every time.