void __globinit_function(void) { { __CrestInit(); } }
void __globinit_tritype(void) { { __CrestInit(); } }