#ifndef HTML_H
#define HTML_H

#include <stdio.h>

void html_escape_print(FILE *out, const char *s);

#endif