Parameter Alloc.1-R

val all : box iter
val special : box iter
val preserved : box iter