#ifndef _CONS___H_d8c8bd8c_
#define _CONS___H_d8c8bd8c_

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

extern void cons__reset(void);
extern void cons__flush(void);
extern void cons__resume(void);

#endif