class A            { int bin_A (A x){ return 1; } }
class B extends A{
  int bin_A (A x){ return 3; }
  int bin_B (B x){ return 2; }
}