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