Export clause in Pipe protocol