ABSTRACT
The commands of a statement can be headed by a handler and/or one or more bind preambles. A handler traps certain termination conditions of the statement; a bind preamble introduces local declarations with the rest of the statement as scope.
