/* Generated from host/download/dolly-download-0.wat, host/download/download.h. */
#pragma once
#define DOLLY_DOWNLOAD_OPEN 1u
#define DOLLY_DOWNLOAD_WRITE 2u
#define DOLLY_DOWNLOAD_CLOSE 3u
#define DOLLY_DOWNLOAD_ABORT 4u
#define DOLLY_DOWNLOAD_CHUNK_CAPACITY 1048576u
#define DOLLY_DOWNLOAD_MAX_SIZE 1073741824u
#define DOLLY_DOWNLOAD_FILE 51u
#define DOLLY_DOWNLOAD_ABI_DIGEST 0xf5, 0xc6, 0xe4, 0xad, 0x11, 0xe3, 0x85, 0x97, 0x91, 0x57, 0x8d, 0x73, 0xcc, 0xe4, 0x09, 0x46, 0xeb, 0x35, 0x28, 0xda, 0x93, 0xdc, 0x69, 0x71, 0xc1, 0x79, 0x51, 0xfa, 0xac, 0x64, 0x2b, 0x4f