#!/bin/gawk -f

# This script reads a hex-dump and converts it to decimal numbers.
# The hex-dump must contain one or more hexadecimal numbers separated
# by spaces, colon or 0x. The lest significant end of the hex values
# is on the right side. Valid examples:
#
# echo "01 2 0x03 04:05 fa3B" | hex2dec


BEGIN {
  FS="((0x)|[ :])*";
}

{
  for (i=1; $i!=""; i++) {
    printf "%d ",strtonum("0x"$i);
  } 
  printf "\n";
}
