#include "skein.h"

#define HASHLEN (32)

u08b_t msg[80]=
"People of Earth, your attention, please";

void clear_msg()
{
  int i;
  for (i=0; i<80; i++)
    msg[i] = Frama_C_interval(0, 255);
}

void main(void)
{
  u08b_t hash[HASHLEN];
  int i;
  Skein_256_Ctxt_t skein_context; 

  Skein_256_Init( &skein_context, 8*HASHLEN);

      clear_msg();
      Skein_256_Update( &skein_context,msg,80);

      clear_msg();
      Skein_256_Update( &skein_context,msg,80);

  while (Frama_C_interval(0,1))
    {
      clear_msg();
      Skein_256_Update( &skein_context,msg,80);
    }
  Skein_256_Final( &skein_context, hash);

}