printf OUTFILE ("%08x\n", $out);