Turn A % (C << N), where C is 2^k, into A & ((C << N)-1) [urem only].