let xk_marker                                      = 0xabf