let xk_multiply            = 0x0d7