2
1) b2-call (or anyone who calls inline-arg or inline-args)
3
will push an 'avma-bind onto the *control-stack* if it is there
4
is not one between where it is and the next tag. If it did the push,
5
then it will pop it off an leaving. If the 'avma-bind has been changed to
7
a) it will also set the *used-function-saved-avma* to be t if at outer scope
8
b) bind *do-restore-avma* to the point in the *control-stack* where we pushed
9
to 'avma-bind, for the benefit of unwind-set.
10
c)It is an error if the *value* var is of type GEN and the level is outer.
12
2) Any call to an 'is' fun will cause the most recent 'avma-bind or 'avma-bind-needed
15
3) unwind-set if doing a go or return must do the restore to the level appropriate
16
to the tag, if there is an intervening 'avma-bind-needed in the *control-stack*
18
If not going to a tag then if *do-restore-avma* is set, then unwind to the
19
current avma level. current level is global_saved_avma if there is not an intervening
20
inner-avma on the stack.
22
4) entering tagbody, if there is an 'avma-bind on the stack, then push an
23
'inner-avma and write { GEN Inner_avma= avma; ..}.