1/*
2 * Copyright 2014, NICTA
3 *
4 * This software may be distributed and modified according to the terms of
5 * the BSD 2-Clause license. Note that NO WARRANTY is provided.
6 * See "LICENSE_BSD2.txt" for details.
7 *
8 * @TAG(NICTA_BSD)
9 */
10
11unsigned int plus(unsigned int a, unsigned int b) {
12    return a + b;
13}
14
15unsigned int plus2(unsigned int a, unsigned int b) {
16    while (b > 0) {
17        a += 1;
18        b -= 1;
19    }
20    return a;
21}
22
23int main(int argc, char **argv) {
24    return !(plus(1, 2) == plus2(1, 2));
25}
26