const receiveDouble_methodinfo: JSJitInfo;