storing and recovering idents works