let
descr =
"use the impact pragmas in the code of functions f1,...,fn"