let xk_gbreve              = 0x2bb