#import int32_t getDeviceUptimeSeconds(int32_t *bootTime);