#ifndef WH_ES_H_61ff40c6_
#define WH_ES_H_61ff40c6_

/* This file is in the public domain. */

#include <stdio.h>

typedef struct es ES;

struct es {
  char *b;
  int a;
  int l;
  } ;
#define ES_STATIC_INIT { 0, 0, 0 }

extern void es_init(ES *);
extern void es_done(ES *);
extern void es_clear(ES *);
extern void es_append_1(ES *, char);
extern void es_append_n(ES *, const void *, int);
extern int es_append_printf(ES *, const char *, ...)
	__attribute__((__format__(__printf__,2,3)));
extern int es_len(const ES *);
extern char *es_buf(const ES *);
extern char *es_buf_nul(ES *);
extern int es_pop_1(ES *);
extern void es_pop_n(ES *, int);
extern FILE *es_fopen_w(ES *);
extern char *es_take(ES *);

#endif