let
xk_approximate = 0x8c8