tmp4 | tmp4