let
xk_diamond = 0xaed