void pipe_mount(char* path);