shell_toplevel_s2a_ou_thunk  306 shell/shell_toplevel.h extern AvmBox shell_toplevel_s2a_ou_thunk(AvmMethodEnv env, uint32_t argc, AvmBox* argv);
shell_toplevel_s2a_ou_thunk  307 shell/shell_toplevel.h #define flash_utils_ByteArray_readUTFBytes_thunk  shell_toplevel_s2a_ou_thunk