let
xk_F31 = 0xFFDC