Symbol: ATOMIC_PROTO_OR