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;