printf "0x%08.8x\n", (~$val & $mask);