documentation
prelim: switching to named-stack environment