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