static void printShortException(Throwable e) {
  print(exceptionToStringShort(e));
}

static void printShortException(S s, Throwable e) {
  print(s, exceptionToStringShort(e));
}