where is this allocation getting freed? I couldn't find it in the code.