void device_log(char* format, ...);