int aaa;

int plus(int bbb)
{
    return bbb + 7;
}

int main(void)
{
  int ccc;

  while(1)
  {
      int ddd;

      ddd = plus(12);
      ccc = aaa + ddd;
  }
}