           {*******************************************************}
                               {FDL Declarations}
                             {Examiner Pro Edition}

           {*******************************************************}


              {procedure Skein.Skein_512_Process_Block.Round_5}


title procedure round_5;

  function round__(real) : integer;
  type interfaces__unsigned_64 = integer;
  type spark__unsigned__u64 = integer;
  type spark__unsigned__shift_count = integer;
  type spark__crypto__i8 = integer;
  type spark__crypto__word_count_t = integer;
  type spark__crypto__u64_seq = array [
     spark__crypto__word_count_t] of spark__unsigned__u64;
  const r_512_4_0 : integer = pending;
  const r_512_4_1 : integer = pending;
  const r_512_4_2 : integer = pending;
  const r_512_4_3 : integer = pending;
  const spark__crypto__word_count_t__base__first : integer = pending; 
  const spark__crypto__word_count_t__base__last : integer = pending; 
  const spark__crypto__i8__base__first : integer = pending; 
  const spark__crypto__i8__base__last : integer = pending; 
  const spark__unsigned__shift_count__base__first : integer = pending; 
  const spark__unsigned__shift_count__base__last : integer = pending; 
  const spark__unsigned__u64__base__first : 
     interfaces__unsigned_64 = pending; 
  const spark__unsigned__u64__base__last : 
     interfaces__unsigned_64 = pending; 
  const interfaces__unsigned_64__base__first : 
     interfaces__unsigned_64 = pending; 
  const interfaces__unsigned_64__base__last : 
     interfaces__unsigned_64 = pending; 
  const integer__base__first : integer = pending; 
  const integer__base__last : integer = pending; 
  const spark__crypto__word_count_t__first : integer = pending; 
  const spark__crypto__word_count_t__last : integer = pending; 
  const spark__crypto__word_count_t__size : integer = pending; 
  const spark__crypto__i8__first : integer = pending; 
  const spark__crypto__i8__last : integer = pending; 
  const spark__crypto__i8__size : integer = pending; 
  const spark__unsigned__shift_count__first : integer = pending; 
  const spark__unsigned__shift_count__last : integer = pending; 
  const spark__unsigned__shift_count__size : integer = pending; 
  const spark__unsigned__u64__first : interfaces__unsigned_64 = pending; 
  const spark__unsigned__u64__last : interfaces__unsigned_64 = pending; 
  const spark__unsigned__u64__modulus : integer = pending; 
  const spark__unsigned__u64__size : integer = pending; 
  const interfaces__unsigned_64__first : interfaces__unsigned_64 = pending; 
  const interfaces__unsigned_64__last : interfaces__unsigned_64 = pending; 
  const interfaces__unsigned_64__modulus : integer = pending; 
  const interfaces__unsigned_64__size : integer = pending; 
  const integer__first : integer = pending; 
  const integer__last : integer = pending; 
  const integer__size : integer = pending; 
  var x : spark__crypto__u64_seq;
  function spark__unsigned__rotate_left_64(
     interfaces__unsigned_64, integer) : interfaces__unsigned_64;

end;
