let xk_fivesixths                                  = 0xab7