proper use of get_device_id()