monitor_statement 

<monitor_statement> ::=
  MONITOR INIT