Pointerizing in safe_hash (and doing it recursively), with restoring in save