shell_toplevel_i2a_os_thunk  297 shell/shell_toplevel.h extern AvmBox shell_toplevel_i2a_os_thunk(AvmMethodEnv env, uint32_t argc, AvmBox* argv);
shell_toplevel_i2a_os_thunk  298 shell/shell_toplevel.h #define avmplus_System_exec_thunk  shell_toplevel_i2a_os_thunk