let new_trans start stop cond =
  { start = start; stop = stop; cross = cond; numt = TransIndex.next () }