let keep_highest_bits a j = a land high_mask.(j)