/*
// Full copyright information is available in the file ../doc/CREDITS
*/

#ifndef cdc_log_h
#define cdc_log_h

void panic(char *s, ...);
void fail_to_start(char *s);
void write_log(char *s, ...);
void write_err(char *s, ...);

#endif