added device_destroy