shell_toplevel_v2a_os_thunk  361 shell/shell_toplevel.h extern AvmBox shell_toplevel_v2a_os_thunk(AvmMethodEnv env, uint32_t argc, AvmBox* argv);
shell_toplevel_v2a_os_thunk  362 shell/shell_toplevel.h #define flash_utils_ByteArray_writeUTF_thunk  shell_toplevel_v2a_os_thunk
shell_toplevel_v2a_os_thunk  363 shell/shell_toplevel.h #define flash_utils_ByteArray_endian_set_thunk  shell_toplevel_v2a_os_thunk
shell_toplevel_v2a_os_thunk  364 shell/shell_toplevel.h #define flash_utils_ByteArray_writeFile_thunk  shell_toplevel_v2a_os_thunk
shell_toplevel_v2a_os_thunk  365 shell/shell_toplevel.h #define avmplus_System_write_thunk  shell_toplevel_v2a_os_thunk
shell_toplevel_v2a_os_thunk  366 shell/shell_toplevel.h #define flash_utils_ByteArray_writeUTFBytes_thunk  shell_toplevel_v2a_os_thunk