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