Recipe: Heat oil in a pressure cooker, temper mustard seeds, and add onions, curry leaves ... bring to a boil, then stir in ...