Implements user token getter/setter