builtin_s2a_odi_thunk  524 core/builtin.h extern AvmBox builtin_s2a_odi_thunk(AvmMethodEnv env, uint32_t argc, AvmBox* argv);
builtin_s2a_odi_thunk  525 core/builtin.h #define Number_private__numberToString_thunk  builtin_s2a_odi_thunk