A lava tunnel