a couple hefty pinches of salt

Instant Pot Pork Ramen