Mixed Vegetables And Mushrooms
["1/2 lb. fresh green beans, cut in 1-inch lengths", "10 baby carrots, cut into quarters lengthwise", "1/4 c. butter", "1 small to medium onion, sliced (white or yellow)", "1/2 lb. fresh mushrooms, sliced", "1 tsp. salt", "1/2 tsp. seasoned salt", "1/4 tsp. garlic salt*", "1/4 tsp. pepper*"]
["*You can substitute 1/2 teaspoon garlic pepper for these two spices, if you prefer."]
["fresh green beans", "baby carrots", "butter", "onion", "fresh mushrooms", "salt", "salt", "garlic salt", "pepper"]