3 tablespoons sesame oil
1/2 teaspoon black or brown mustard seeds
1 teaspoon ground cumin
1/2 teaspoon ground coriander
1/2 teaspoon garam masala
1/2 cup finely minced yellow onion
1 tablespoon grated fresh ginger
1 tablespoon minced fresh garlic
5 cups diced zucchini (about 5 medium, cut into 1/2-inch dice)
1 small jalapeño or Serrano chile (finely minced, or to taste)
  salt (to taste)