static char unquoteCharacter(S s) {
  assertTrue(s.startsWith("'") && s.length() > 1);
  ret unquote("\"" + s.substring(1, s.endsWith("'") ? s.length()-1 : s.length()) + "\"").charAt(0);
}