pipe currently executes the first command twice, and then the entire shell exits.