a example tavor file definition