# File hexja, line 1424
def restore(file)
  $stdout.binmode
  file.each_line{|line|
    next if line !~ /^[0-9a-f]{8}  ((([0-9a-f ]{2} ){4} ){4})/i
    $1.split(/\s+/).each{|i|
      $stdout.write([ i.hex ].pack('C'))
    }
  }
end