char *get_device_id(void);

char *generate_device_id(void);

void destroy_device_id(char *device_id);