printf STDERR "0x%08x\n", $integer;