let
xk_fivesixths = 0xab7