int add_int(int a, int b)
{
  return a + b;
}