UNKNOWN: versec.token.Position = ...