* objc/execute/formal_protocol-6.cexp: XFAIL it.