Resolved to:
0: extension receiver with type AAA
