SFI: do not return freed pointer