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