let xk_digitspace                                  = 0xaa5