39 |
__attribute__((__noreturn__)) |
__attribute__((__noreturn__)) |
40 |
__attribute__((__format__(printf, 1, 2))); |
__attribute__((__format__(printf, 1, 2))); |
41 |
|
|
42 |
|
void fatal_source(const char * source_file, unsigned int line_number, const char * format, ...) |
43 |
|
__attribute__((__noreturn__)) |
44 |
|
__attribute__((__format__(printf, 3, 4))); |
45 |
|
|
46 |
|
void version(void) |
47 |
|
__attribute__((__noreturn__)); |
48 |
|
|
49 |
size_t addst(size_t x, size_t y); |
size_t addst(size_t x, size_t y); |
50 |
|
|
51 |
size_t mulst(size_t x, size_t y); |
size_t mulst(size_t x, size_t y); |