
---- EXPECTED OUTPUT
Class [ <user> class x extends c implements a, b ] {
  @@ %s 15-17

  - Constants [0] {
  }

  - Static properties [0] {
  }

  - Static methods [0] {
  }

  - Properties [0] {
  }

  - Methods [2] {
    Method [ <user, prototype b> public method foo ] {
      @@ %s 16 - 16
    }

    Method [ <user, inherits c, prototype a> public method bar ] {
      @@ %s 12 - 12
    }
  }
}
---- ACTUAL OUTPUT
Fatal error: Can't inherit abstract function b::foo() (previously declared abstract in a) in /root/mountpoint-genprog/genprog-many-bugs/php-bug-2011-10-31-2e5d5e5ac6-b5f15ef561/php/Zend/tests/bug43200.php on line 15
---- FAILED
