Produces a synchronization statement.