let descr = "give an option to Why (e.g., -fast-wp)"