shell_toplevel_i2a_oi_opti2_thunk 336 shell/shell_toplevel.h extern AvmBox shell_toplevel_i2a_oi_opti2_thunk(AvmMethodEnv env, uint32_t argc, AvmBox* argv); shell_toplevel_i2a_oi_opti2_thunk 337 shell/shell_toplevel.h #define flash_trace_Trace_getLevel_thunk shell_toplevel_i2a_oi_opti2_thunk