machine_concret1.m_state = S3;