"dump" in executable name sets dumping mode
Document options