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