let
arg_name =
"f1, ..., fn"