BEGIN { hv["0"] =  0; hv["1"] =  1; hv["2"] =  2; hv["3"] =  3;

	hv["4"] =  4; hv["5"] =  5; hv["6"] =  6; hv["7"] =  7;

	hv["8"] =  8; hv["9"] =  9; hv["A"] = 10; hv["B"] = 11;

	hv["C"] = 12; hv["D"] = 13; hv["E"] = 14; hv["F"] = 15;

	hv["a"] = 10; hv["b"] = 11; hv["c"] = 12; hv["d"] = 13;

	hv["e"] = 14; hv["f"] = 15;

	first = 0; last = 0; idx = 0;

}

function tonum(str)

{

  num=0;

  cnt=1;

  while (cnt <= length(str)) {

    num *= 16;

    num += hv[substr(str,cnt,1)];

    ++cnt;

  }

  return num;

}

{

  u = tonum($1);

  if (u - last > 6)

    {

      if (last)

	{

	  printf ("  { .start = 0x%04x, .end = 0x%04x, .idx = %5d },\n",

		  first, last, idx);

	  idx -= u - last - 1;

	}

      first = u;

    }

  last = u;

}

END { printf ("  { .start = 0x%04x, .end = 0x%04x, .idx = %5d },\n",

	      first, last, idx); }