
$( \bmod ~2^{k-1} )$
