We don’t really expect 10^9 markings, aren’t we?
Comments.
Can add several times the same transition.