Pipes for wall heating in the baths at Ostia (5.14.13)