let xk_N                   = 0x04e