let
xk_VoidSymbol = 0xFFFFFF