Byteman tests of Digest with fix