shell_toplevel_v2a_oouu_opti0_opti0_thunk  225 shell/shell_toplevel.h extern AvmBox shell_toplevel_v2a_oouu_opti0_opti0_thunk(AvmMethodEnv env, uint32_t argc, AvmBox* argv);
shell_toplevel_v2a_oouu_opti0_opti0_thunk  226 shell/shell_toplevel.h #define flash_utils_ByteArray_writeBytes_thunk  shell_toplevel_v2a_oouu_opti0_opti0_thunk
shell_toplevel_v2a_oouu_opti0_opti0_thunk  227 shell/shell_toplevel.h #define flash_utils_ByteArray_readBytes_thunk  shell_toplevel_v2a_oouu_opti0_opti0_thunk