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