| // TODO: optional prefixing | |
| void WASM_RT_ADD_PREFIX(wasmbox_init)(void) { | |
| // Initialize wasm2c runtime. | |
| WASM_RT_ADD_PREFIX(init)(); | |
| // Set up handling for a trap | |
| int trap_code; | |
| if ((trap_code = setjmp(g_jmp_buf))) { | |
| printf("[wasm trap %d, halting]\n", trap_code); | |
| abort(); | |
| } else { | |
| WASM_RT_ADD_PREFIX(Z__initializeZ_vv)(); | |
| } | |
| } |