find_free_device_number
number = find_free_device_number();
extern int find_free_device_number(void);