pipe_restart
.fo_restart = pipe_restart,
static void pipe_restart(file_t *);
ATF_TP_ADD_TC(tp, pipe_restart);
ATF_TC(pipe_restart);
ATF_TC_HEAD(pipe_restart, tc)
ATF_TC_BODY(pipe_restart, tc)