shell_toplevel_a2a_oii_opti2_thunk  261 shell/shell_toplevel.h extern AvmBox shell_toplevel_a2a_oii_opti2_thunk(AvmMethodEnv env, uint32_t argc, AvmBox* argv);
shell_toplevel_a2a_oii_opti2_thunk  262 shell/shell_toplevel.h #define flash_trace_Trace_setLevel_thunk  shell_toplevel_a2a_oii_opti2_thunk