Branching will _terminate_ any remaining macro code. There isn't a good
way to index a PC into macro operation sequences, and macro operation
seqeunces are supposed to be short and destructive anyway. Looping
therein is both dangerous and hard to implement. So just don't permit
it.