exec_command_statement 

< exec_command_statement > ::=
  EXEC COMMAND < os_command >;