let
xk_twosuperior = 0x0b2