status.i4.v = dio_device_state_c(num_devices.i4.v,

	This routine determines whether or not a device index or a
	list of device indices are currently valid.

	num_devices	number of device indices
	device_indices	device index or array of device indices
	device_states	returned state or array of returned states
			(OK -> this is a valid device index,
			 DBM_OBSDEV -> this device index has been obsoleted,
			 DBM_DELDEV -> this device index has been deleted,
			 DBM_DOCDEV -> this device index points to a
				       documentation device,
			 DBM_ILDEV -> this device index does not exist in
				      the database)
	[use_cache]	flag indicating whether or not to use cached state
			(TRUE -> use cached state information,
			 FALSE -> read state information directly from
				  the database (default))

	This function returns ACNET status values as follows:

	OK			success
	DIO_BADARG		invalid number of devices passed
	negative value		ACNET format error indicating overall failure

	This function requires the following include files:

	diolib_h, acnet_errors_h

	Related functions:

	dio_obsolete_info_c, dio_longest_device_obsolete_comment,
	dio_documentation_info_c, dio_longest_device_document_comment,
	dio_get_dev(_c), dio_set_dev(_c), dio_get_raw(_c),
	dio_set_raw(_c), dio_bld_get(_c), dio_bld_set(_c), dio_bld_get_raw(_c),

	C/C++ usage:

	short	device_states[NUM_DEVICES];
	int	status;
	int	num_devices = NUM_DEVICES;
	int	use_cache = FALSE;
	static const int	device_indices[NUM_DEVICES] = {14430, 14431};

	status = dio_device_state_c(num_devices,device_indices,