<execute_statement> ::= EXEC SQL [<session_spec>] [<for_clause>] EXECUTE <statement_name> [<using_clause>];