Jacketed pipe

—