| [P0 conformsTo: P1]: no | |
| [P1 conformsTo: P0]: no | |
| [P1 conformsTo: P2]: no | |
| [P2 conformsTo: P1]: no | |
| [P3 conformsTo: P1]: yes | |
| [P1 conformsTo: P3]: no | |
| [A getClass] != 0: yes | |
| class_conformsToProtocol([A getClass], @protocol(P0)): yes | |
| class_conformsToProtocol([A getClass], @protocol(P1)): no | |
| exit 0 |