#ifndef _CLIPPER_HAVARIE_H_
#define _CLIPPER_HAVARIE_H_

void capsize() __attribute__((noreturn));
void print_havarie_msg();

#endif // _CLIPPER_HAVARIE_H_