type
  double    = array[0..7] of byte;