T512BitDigest

type T512BitDigest = packed record

  case Integer of

    0: (

        Word64s: array [0..7] of Word64;

      );

    1: (

        Word32s: array [0..15] of Word32;

      );

    2: (

        Word16s: array [0..31] of Word16;

      );

    3: (

        Bytes: array [0..63] of Byte;

      );

end;