int check_vulnerable_devices(); .