|
|
@@ -83,6 +83,8 @@ int xasprintf (char **strp, const char *fmt, ...);
|
|
|
int min_state (int a, int b);
|
|
|
int max_state (int a, int b);
|
|
|
int max_state_alt (int a, int b);
|
|
|
+int min_state (int a, int b);
|
|
|
+int min_state_alt (int a, int b);
|
|
|
|
|
|
void usage (const char *) __attribute__((noreturn));
|
|
|
void usage2(const char *, const char *) __attribute__((noreturn));
|