let xk_VoidSymbol                = 0xFFFFFF