static char charPlus(char a, int b) {
  ret (char) (((int) a) + b);
}

static char charPlus(int b, char a) {
  ret charPlus(a, b);
}