#ifndef _$(ENCLAVENAME)_H_
#define _$(ENCLAVENAME)_H_

#include <stdlib.h>
#include <assert.h>

#if defined(__cplusplus)
extern "C" {
#endif

void printf(const char *fmt, ...);

#if defined(__cplusplus)
}
#endif

#endif /* !_$(ENCLAVENAME)_H_ */