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