do
    not satisfy the rules given here is undefined. Whether, and in
    what manner, a particular implementation of Obr gives meaning to
    undefined constructs is outside the scope of this definition.<p>

      A program is executed by reading parameter values from the
      standard input and executing the component
      <em>StatementSeq</em>.  A Return statement must be executed to
      terminate the program.<p>

      The component statements of a statement sequence are executed in
      the sequen