experiments with optimizing sha256 on a 64-bit intel cpu