void DumpContext(OSContext *context, const char *excType);
void InstallExceptionHandlers();