lab7.cpp contains rm