let
descr=
"if set, warns for side effects occuring in unspecified order"