extern "C" {
  float def(float x, float y);
}