Control and copyright added.

[pkg-cerco/acc-trusted.git] / tests / test.c

int main() {
  int x = 0;
  x += 4;
  return x;
}