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