// lib_funct.java
public interface lib_funct
{
  // just the signature, no body
  // the user provides the body in class pass_funct
  double f(double x);
}