New module: termination; also, object file mutation.o is no longer under VC.