let xk_e                   = 0x065