interface IF1_ObjectToDouble { double get(A a); }