Simplification and stability improvement: the uniqueness of a label now
depends on the current millis; this avoids threading issues.