static char intToChar(int i) {
  ret (char) i;
}