let
xk_e = 0x065