let xk_diamond                                     = 0xaed