let
xk_ballotcross = 0xaf4