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

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


                      {procedure Skein.Get_64_LSB_First}


title procedure get_64_lsb_first;

  function round__(real) : integer;
  type natural = integer;
  type interfaces__unsigned_8 = integer;
  type interfaces__unsigned_64 = integer;
  type spark__unsigned__byte = integer;
  type spark__unsigned__u64 = integer;
  type spark__unsigned__shift_count = integer;
  type spark__crypto__word_count_t = integer;
  type spark__crypto__byte_seq = array [natural] of 
     spark__unsigned__byte;
  type spark__crypto__u64_seq = array [
     spark__crypto__word_count_t] of spark__unsigned__u64;
  const spark__crypto__word_count_t__base__first : integer = pending; 
  const spark__crypto__word_count_t__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 spark__unsigned__byte__base__first : 
     interfaces__unsigned_8 = pending; 
  const spark__unsigned__byte__base__last : 
     interfaces__unsigned_8 = pending; 
  const interfaces__unsigned_64__base__first : 
     interfaces__unsigned_64 = pending; 
  const interfaces__unsigned_64__base__last : 
     interfaces__unsigned_64 = pending; 
  const interfaces__unsigned_8__base__first : 
     interfaces__unsigned_8 = pending; 
  const interfaces__unsigned_8__base__last : 
     interfaces__unsigned_8 = pending; 
  const natural__base__first : integer = pending; 
  const natural__base__last : integer = pending; 
  const integer__base__first : integer = pending; 
  const integer__base__last : integer = pending; 
  const src__index__subtype__1__first : integer = pending; 
  const src__index__subtype__1__last : integer = pending; 
  const dst__index__subtype__1__first : integer = pending; 
  const dst__index__subtype__1__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__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 spark__unsigned__byte__first : interfaces__unsigned_8 = pending; 
  const spark__unsigned__byte__last : interfaces__unsigned_8 = pending; 
  const spark__unsigned__byte__modulus : integer = pending; 
  const spark__unsigned__byte__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 interfaces__unsigned_8__first : interfaces__unsigned_8 = pending; 
  const interfaces__unsigned_8__last : interfaces__unsigned_8 = pending; 
  const interfaces__unsigned_8__modulus : integer = pending; 
  const interfaces__unsigned_8__size : integer = pending; 
  const natural__first : integer = pending; 
  const natural__last : integer = pending; 
  const natural__size : integer = pending; 
  const integer__first : integer = pending; 
  const integer__last : integer = pending; 
  const integer__size : integer = pending; 
  var dst : spark__crypto__u64_seq;
  var src : spark__crypto__byte_seq;
  var src_offset : integer;
  var dst_index : integer;
  var src_index : integer;
  function spark__unsigned__shift_left_64(interfaces__unsigned_64, 
     integer) : interfaces__unsigned_64;

end;
