generated ticket setters