
$S( {\bf v}
  ) ~( \bmod ~2^k )$
