AvmThunkArgSize_double  344 core/builtin.cpp     const uint32_t argoffV = argoff2 + AvmThunkArgSize_double;
AvmThunkArgSize_double 1479 core/builtin.cpp     const uint32_t argoffV = argoff2 + AvmThunkArgSize_double;