let
xk_jot = 0xbca