1#include <stdint.h>
2
3extern int foo();
4extern int bar();
5extern int baaz(int i);
6
7int main()
8{
9  int32_t index;
10
11  foo();
12
13  index = 512;
14
15  if (bar())
16    index = 256;
17
18  baaz(index);
19}
20