reverting in driver.c