/* Generated from host/html/dolly-html-0.wat, host/html/html.h. */
#pragma once
#define DOLLY_HTML_OPEN 1u
#define DOLLY_HTML_ANSWER 2u
#define DOLLY_HTML_CLOSE 3u
#define DOLLY_HTML_DOCUMENT_MAX 1048576u
#define DOLLY_HTML_FIELDS_MAX 65536u
#define DOLLY_HTML_SHOW 192u
#define DOLLY_HTML_WAIT 193u
#define DOLLY_HTML_ABI_DIGEST 0x78, 0x15, 0xd3, 0xe1, 0xe6, 0x0c, 0xbf, 0xd0, 0x2d, 0x2f, 0x2c, 0x4e, 0x81, 0xeb, 0xeb, 0x9a, 0x2f, 0x74, 0x6f, 0xfa, 0xe0, 0x51, 0x72, 0xd1, 0x47, 0xdf, 0xc6, 0xc3, 0xf7, 0x74, 0x5a, 0x58