Cooking pork tenderloin with rosemary