Import of Marpa's t/wall.t