shell_toplevel_a2a_os_thunk 229 shell/shell_toplevel.h extern AvmBox shell_toplevel_a2a_os_thunk(AvmMethodEnv env, uint32_t argc, AvmBox* argv); shell_toplevel_a2a_os_thunk 230 shell/shell_toplevel.h #define flash_utils_ByteArray_readFile_thunk shell_toplevel_a2a_os_thunk shell_toplevel_a2a_os_thunk 231 shell/shell_toplevel.h #define avmplus_Domain_getClass_thunk shell_toplevel_a2a_os_thunk