static S fixNewLines(S s) {
  ret s.replace("\r\n", "\n").replace("\r", "\n");
}