13408                 uint32_t* pImageIndex;  in decode()  local
13435                 vkReadStream->alloc((void**)&pImageIndex, sizeof(uint32_t));  in decode()
13436                 memcpy((uint32_t*)pImageIndex, *readStreamPtrPtr, sizeof(uint32_t));  in decode()
13444                             (unsigned long long)fence, (unsigned long long)pImageIndex);  in decode()
13448                     unboxed_device, swapchain, timeout, semaphore, fence, pImageIndex);  in decode()
13454                 vkStream->write((uint32_t*)pImageIndex, sizeof(uint32_t));  in decode()
13464                         semaphore, fence, pImageIndex);  in decode()
13772                 uint32_t* pImageIndex;  in decode()  local
13787                 vkReadStream->alloc((void**)&pImageIndex, sizeof(uint32_t));  in decode()
13788                 memcpy((uint32_t*)pImageIndex, *readStreamPtrPtr, sizeof(uint32_t));  in decode()
13798                             (unsigned long long)pImageIndex);  in decode()
13802                     vk->vkAcquireNextImage2KHR(unboxed_device, pAcquireInfo, pImageIndex);  in decode()
13808                 vkStream->write((uint32_t*)pImageIndex, sizeof(uint32_t));  in decode()
13817                         vkAcquireNextImage2KHR_VkResult_return, device, pAcquireInfo, pImageIndex);  in decode()