let xk_utilde              = 0x3fd