Produces synchronization statement.