extern char *format_string(char *format, ...);
extern void print_char_octal(char c, FILE *f);
extern char *object_name(class cl_base *o);
extern char *format_string(char *format, ...);
extern void print_char_octal(char c, FILE *f);
extern char *object_name(class cl_base *o);