namespace os {
-void acquireMutex(void);
-
-void releaseMutex(void);
-
void log(const char *format, ...)
#ifdef __GNUC__
__attribute__ ((format (printf, 1, 2)))
#endif
#endif
-/**
- * Get the current time in microseconds from an unknown base.
- */
-long long getTime(void);
-
void abort(void);
void setExceptionCallback(void (*callback)(void));