let
xk_F14 = 0xFFCB