static int intadd(O a, O b) {
  ret toInt(a) + toInt(b);
}