shell_toplevel_v2a_ob_thunk  332 shell/shell_toplevel.h extern AvmBox shell_toplevel_v2a_ob_thunk(AvmMethodEnv env, uint32_t argc, AvmBox* argv);
shell_toplevel_v2a_ob_thunk  333 shell/shell_toplevel.h #define flash_utils_ByteArray_writeBoolean_thunk  shell_toplevel_v2a_ob_thunk
shell_toplevel_v2a_ob_thunk  334 shell/shell_toplevel.h #define flash_utils_Dictionary_private_init_thunk  shell_toplevel_v2a_ob_thunk