# read number: 8 bytes, return decimal value
sub getnumber {
  my $buffer = undef;
  my $num = read($FH, $buffer, 8);
  return unpack 'd*', reverse $buffer;
}