<routine> ::=
  [<local_variables>] <statement_list>;