4 typedef enum Error_type {
13 Error_type current_error(void);
14 void throw_error(Error_type error_type);
15 void reset_error(void);
16 void print_current_error_msg(const char *user_prefix);
17 void print_error_msg(Error_type error_type, const char *user_prefix);