shell_toplevel_a2a_os_rest_thunk  309 shell/shell_toplevel.h extern AvmBox shell_toplevel_a2a_os_rest_thunk(AvmMethodEnv env, uint32_t argc, AvmBox* argv);
shell_toplevel_a2a_os_rest_thunk  310 shell/shell_toplevel.h #define avmplus_JObject_create_thunk  shell_toplevel_a2a_os_rest_thunk