static S bit(int i, int b, S a, S v) {
  ret testBit(i, b) ? a : v;
}