prt_dex
prt_dex(pri, 0, val);
prt_dex(pri, 0, loval);
prt_dex(pri, 0, val);
prt_dex(pri, 0, val);
prt_dex, /* DEX -- print value in hexadecimal if big enough */
prt_dex(pri, 0, val);