# strtok can, and in this case must, be called multiple times
themes.c:[0-9]+:[0-9]+: warning: Value stored to 'token' is never read \[deadcode.DeadStores\]
themes.c:[0-9]+:[0-9]+: warning: Value stored to 'token' is never read \[deadcode.DeadStores\]
