Change piped_t pour pipe_t
Change intptr_t -> mutex_t