let
xk_F5 = 0xFFC2