#include <assert.h>
int div(int numerator, int denominator)
{
return numerator / denominator;
}
void div_test()
{
int i = 0;
for (i = 0; i < 2; ++i)
assert(div(2 * i, i) == 2);
}
int do_nothing()
{
unsigned int i = 0;
int k = 100;
int j = k + 1;
return j;
}