let xk_fourfifths                                  = 0xab5