Looks mostly OK... the only thing I worry about is in the Sinai optimization case, do we run into trouble with bits getting carried into the top bits of the key? Can someone from Mellanox review this more carefully? - R.