high‑pressure steam.