shell_toplevel_v2a_oo_thunk  339 shell/shell_toplevel.h extern AvmBox shell_toplevel_v2a_oo_thunk(AvmMethodEnv env, uint32_t argc, AvmBox* argv);
shell_toplevel_v2a_oo_thunk  340 shell/shell_toplevel.h #define avmplus_Domain_domainMemory_set_thunk  shell_toplevel_v2a_oo_thunk
shell_toplevel_v2a_oo_thunk  341 shell/shell_toplevel.h #define avmplus_System_trace_thunk  shell_toplevel_v2a_oo_thunk
shell_toplevel_v2a_oo_thunk  342 shell/shell_toplevel.h #define avmplus_Domain_private_init_thunk  shell_toplevel_v2a_oo_thunk