sS escapeUpperCaseWithUnderscore(S s) {
  new StringBuilder buf;
  for i over s: {
    char c = s.charAt(i);
    if (isUpperCase(c)) buf.append('_');
    buf.append(c);
  }
  ret str(buf);
}