let
xk_overbar = 0xbc0