Argument techniques for bit-twiddling