shell_toplevel_a2a_oo_thunk  371 shell/shell_toplevel.h extern AvmBox shell_toplevel_a2a_oo_thunk(AvmMethodEnv env, uint32_t argc, AvmBox* argv);
shell_toplevel_a2a_oo_thunk  372 shell/shell_toplevel.h #define avmplus_JObject_toArray_thunk  shell_toplevel_a2a_oo_thunk
shell_toplevel_a2a_oo_thunk  373 shell/shell_toplevel.h #define avmplus_Domain_loadBytes_thunk  shell_toplevel_a2a_oo_thunk
shell_toplevel_a2a_oo_thunk  374 shell/shell_toplevel.h #define flash_trace_Trace_setListener_thunk  shell_toplevel_a2a_oo_thunk