float def(float x, float y) {
  float z;
  z = x*y;
  return z;
}