Thanks to all (P. Pangaro, Gaius Martin, D. Troop) who replied to my question on verbosity of stepper. As they pointed out, by either setting *print-pretty* to nil or controlling the print-level, the stepper can be reverted back to pre-Genera look. Again this was not documented nor the Symbolics software support knew the answer (at least half a year ago). C. Huang