garlic roasted tenderloin of beef (vegetables & starches: roasted baby red potatoes with rosemary)