int cxx_function(int input)
{
  return input;
}