Some commands only make sense inside a procedure, since they make objects known to the nesting level from which the procedure was called or to all nesting levels.
See export; keepring; return.