Is this loop save to generate a unique file name in a multi user environment?
A customer reports issues which can only occur if that loop creates the same file for 2 processes.
mask$ = "0000000"
extension$ = ".txt"
filePart1$ = path$ + "spoolfile"
counter = 0
repeat
checkFile$ = filePart1$ + str(++counter : mask$) + extension$
serial checkFile$, err = *continue
break
until 0