const ondblclick_setterinfo: JSJitInfo;