shell_toplevel_i2a_o_thunk  289 shell/shell_toplevel.h extern AvmBox shell_toplevel_i2a_o_thunk(AvmMethodEnv env, uint32_t argc, AvmBox* argv);
shell_toplevel_i2a_o_thunk  290 shell/shell_toplevel.h #define flash_utils_ByteArray_readInt_thunk  shell_toplevel_i2a_o_thunk
shell_toplevel_i2a_o_thunk  291 shell/shell_toplevel.h #define flash_utils_ByteArray_readShort_thunk  shell_toplevel_i2a_o_thunk
shell_toplevel_i2a_o_thunk  292 shell/shell_toplevel.h #define flash_utils_ByteArray_readByte_thunk  shell_toplevel_i2a_o_thunk