zero_ext(value,pos)

返回一個 64 位無符號數字，位 pos-1 到 0 取 value 值，位 pos 到 63 取零。如果 pos 大於等於 64，則返回 value。