let
help =
"select the loop variants of functions f1,...,fn"