let xk_abreve              = 0x1e3