pgfs_root_cookie
if (puffs_mount(pu, argv[1], mntflags, pgfs_root_cookie()) == -1) {
puffs_cookie_t pgfs_root_cookie(void);