The allocation frame protocol is intended to be

sufficiently general that it will be useful in supporting other types

of nested allocation patterns too. For example, it could be used to

for EPVM-style save and restore, ramp allocation patterns or

generations.