shell_toplevel_v2a_oi_thunk  236 shell/shell_toplevel.h extern AvmBox shell_toplevel_v2a_oi_thunk(AvmMethodEnv env, uint32_t argc, AvmBox* argv);
shell_toplevel_v2a_oi_thunk  237 shell/shell_toplevel.h #define flash_utils_ByteArray_writeByte_thunk  shell_toplevel_v2a_oi_thunk
shell_toplevel_v2a_oi_thunk  238 shell/shell_toplevel.h #define avmplus_System_exit_thunk  shell_toplevel_v2a_oi_thunk
shell_toplevel_v2a_oi_thunk  239 shell/shell_toplevel.h #define flash_utils_ByteArray_writeInt_thunk  shell_toplevel_v2a_oi_thunk
shell_toplevel_v2a_oi_thunk  240 shell/shell_toplevel.h #define flash_utils_ByteArray_writeShort_thunk  shell_toplevel_v2a_oi_thunk