Green bean and okra stir fry

I might be allergic to okra but it is so delightful I continue to eat it. (I suspect inulin.) Down in this giant city thing, the only places to buy okra are those famed inner city convenience stores and farmer's markets catering to Asians. I serve this as a side dish to the Annapurna dal.

Heat 1 tbs oil on high heat and add 1 tsp. mustard seeds. Stir until seeds start to pop. Add 1/2 pound okra, 1 chopped serrano chile, and 1/4 pound green beans, broken into pieces. Cook, stirring frequently, until okra is tender and beans are bright green.

Sprinkle with salt and cumin. Serve.