class Foo {
  int f;
  void a_f(double val) { f = val;}
};