Vegetarian Delight: Pressure Cooker Pad Thai

Ingredients

• 1 tsp minced garlic
• red pepper flakes, to taste
• 2 carrots, sliced
• 1/2 cup chopped peanuts
• 2 tbsp chopped radish
• 2 green onions, chopped
• Sriracha, to taste
• 1 cup snow peas
• 1/2 cup soy sauce
• 1 tbsp sesame oil
• 1 zucchini, spiralized or chopped
• 1 tsp grated ginger
• 1.5 cup vegetable stock
• 2 tbsp brown sugar
• 8 oz pad Thai rice noodles
• 1 cup bean sprouts
• 1 tbsp lime juice