let
xk_abreve = 0x1e3