<http://schema.org/recipeInstructions>
" Chop garlic fine, then add 1 teaspoon salt and mash with the flat side of a big knife. Smear mustard, mashed garlic, and ginger all over pork, and pepper generously. Refrigerate until ready to roast. (The garlic-ginger coating should be applied at least an hour ahead, but Jones does it the morning of the day she&amp;#039;s roasting the pork.) Preheat oven to 375\u00B0 degrees and place tenderloin in the middle of a baking dish. Rub vegetables with olive oil and season with 1/8 teaspoon salt. Scatter them around pork in the baking dish. Roast 30 to 45 minutes (or until a thermometer inserted in tenderloin registers 155\u00B0). Remove meat and let it rest 5 to 10 minutes. If vegetables aren&amp;#039;t quite done when pork is, give them another 5 to 10 minutes (until tender). Serve slices of pork on a plate with veggies all around; season to taste with salt and pepper."^^<http://www.w3.org/2001/XMLSchema#string>
<http://www.delish.com/cooking/recipe-ideas/recipes/a8597/roast-pork-tenderloin-recipe/>