Symbol: ATOMIC_PROTO_AND