srecord noeq TimeoutException(double timeoutSeconds,
  O function,
  Thread thread) extends RuntimeException {

  // !customConstructor
  *(double *timeoutSeconds,
    O *function,
    Thread *thread) {
    super("Timeout after " + iceil(timeoutSeconds) + "s by " + shorten_str(function), exceptionForTimeoutedThread(thread));
  }
}