srecord noeq TimeoutException_Inner(double timeoutSeconds,
  O function,
  Thread thread) extends RuntimeExceptionWithCustomStackTrace {

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