#include <iostream>
extern "C" {
#include "def.h"
}

int main() 
{
  float z = def(7.0, 8.0);
  std::cout << "result = " << z << '\n';
  int retcode = 7;
  return retcode;
}