Ingredient: roasted pork tenderloin (leftovers)