let xk_quad                                        = 0xbcc