extern const char html_slasha[4]; extern const char html_slashdiv[6]; extern const char html_slashform[7]; extern const char html_slashh[4]; extern const char html_slashscript[9]; extern const char html_slashselect[9]; extern const char html_slashstyle[8]; extern const char html_a[3]; extern const char html_body[6]; extern const char html_br[4]; extern const char html_form[6]; extern const char html_h1[4]; extern const char html_h2[4]; extern const char html_h3[4]; extern const char html_h4[4]; extern const char html_img[5]; extern const char html_input[7]; extern const char html_li[4]; extern const char html_p[3]; extern const char html_script[8]; extern const char html_select[8]; extern const char html_style[7]; extern const char html_tr[4]; extern const char html_href[6]; extern const char html_alt[5]; extern const char html_src[5]; extern const char html_type[6]; extern const char html_submit[8]; extern const char html_value[7]; extern const char html_action[8]; extern const char html_name[6]; extern const char html_text[6]; extern const char html_size[6]; extern const char html_image[7]; extern const char html_hidden[8];