text: /*
   * Copyright (c) 2017-2018, The Alloy Developers.
   *
   * This file is part of Alloy.
   *
   * This file is subject to the terms and conditions defined in the
   * file 'LICENSE', which is part of this source code package.
   */
  
  #include <stddef.h>
  #include <stdint.h>
  
  #include "hash-ops.h"
  #include "skein.h"
  
  void hash_extra_skein(const void *data, size_t length, char *hash) {
    int r = skein_hash(8 * HASH_SIZE, data, 8 * length, (uint8_t*)hash);
    assert(SKEIN_SUCCESS == r);
  }
  