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

static int charDiff(S a, char b) {
  ret charDiff(stringToChar(a), b);
}