shell_toplevel_v2a_oss_thunk  252 shell/shell_toplevel.h extern AvmBox shell_toplevel_v2a_oss_thunk(AvmMethodEnv env, uint32_t argc, AvmBox* argv);
shell_toplevel_v2a_oss_thunk  253 shell/shell_toplevel.h #define avmplus_File_write_thunk  shell_toplevel_v2a_oss_thunk