You probably want to ignore `TyPtr` here (it requires `unsafe` to access)