flex_device
extern char *flex_device(char *device_name, int dev_ok);
vfstab_file = flex_device(optarg, 2);
admnfile = flex_device(optarg, 0);
pkgcontsrc = flex_device(optarg, 0);
pkgdrtarg = flex_device(optarg, 0);
device = flex_device(optarg, 1);
respfile = flex_device(optarg, 2);
spoolDir = flex_device(optarg, 1);
vfstab_file = flex_device(optarg, 2);
vfstab_file = flex_device(optarg, 2);
device = flex_device(dvalue, 1);
device = flex_device(optarg, 1);
admnfile = flex_device(optarg, 0);
device = flex_device(optarg, 1);
respfile = flex_device(optarg, 2);
vfstab_file = flex_device(optarg, 2);
rootlist[n++] = flex_device(pt, 0);
device = flex_device(optarg, 1);
device = flex_device(optarg, 1);
admnfile = flex_device(optarg, 0);
vfstab_file = flex_device(optarg, 2);
admnfile = flex_device(optarg, 0);
spoolDir = flex_device(optarg, 1);
vfstab_file = flex_device(optarg, 2);
ret = pkgtrans(flex_device(argv[optind], 1),
flex_device(argv[optind+1], 1), &argv[optind+2], options);