Gas pipes