sS stackTraceToString(StackTraceElement[] st) {
  ret lines(st);
}

sS stackTraceToString(Throwable e) {
  ret getStackTrace_noRecord(e);
}