let
xk_section = 0x0a7