1#include <assert.h>
2
3int div(int numerator, int denominator)
4{
5    return numerator / denominator;
6}
7
8void div_test()
9{
10    int i = 0;
11    for (i = 0; i < 2; ++i)
12        assert(div(2 * i, i) == 2);
13}
14
15int do_nothing()
16{
17    unsigned int i = 0;
18
19    int k = 100;
20    int j = k + 1;
21
22    return j;
23}
24