Use newToken in stead of token for return value (token clashes with builtin use of it)
Use newToken in stead of token for return value (token clashes with builtin use of it)

cwi-dis/igor,cwi-dis/igor,cwi-dis/igor