verifier memory leak done