This is done because we need to detect rewriting of
a frozen variable to properly release it.