extern const char http_http[8]; extern const char http_200[5]; extern const char http_301[5]; extern const char http_302[5]; extern const char http_get[5]; extern const char http_10[9]; extern const char http_11[9]; extern const char http_content_type[15]; extern const char http_texthtml[10]; extern const char http_location[11]; extern const char http_host[7]; extern const char http_crnl[3]; extern const char http_index_html[12]; extern const char http_404_html[10]; extern const char http_content_type_html[28]; extern const char http_content_type_css [27]; extern const char http_content_type_text[28]; extern const char http_content_type_png [28]; extern const char http_content_type_gif [28]; extern const char http_content_type_jpg [29]; extern const char http_content_type_binary[43]; extern const char http_html[6]; extern const char http_shtml[7]; extern const char http_htm[5]; extern const char http_css[5]; extern const char http_png[5]; extern const char http_gif[5]; extern const char http_jpg[5]; extern const char http_text[6]; extern const char http_txt[5]; extern const char http_user_agent_fields[77];