2017-07-20 19:35:53 +02:00
|
|
|
int foo();
|
2020-02-01 23:06:01 +01:00
|
|
|
int bar();
|
2017-07-20 19:35:53 +02:00
|
|
|
|
2024-04-14 22:45:38 +02:00
|
|
|
int main(void)
|
2017-07-20 19:35:53 +02:00
|
|
|
{
|
2020-02-01 23:06:01 +01:00
|
|
|
if (foo() != bar()) {
|
2017-07-20 19:35:53 +02:00
|
|
|
return 1;
|
|
|
|
|
}
|
|
|
|
|
return 0;
|
|
|
|
|
}
|
