let
xk_A = 0x041