let
xk_nabla = 0x8c5